¤ >*<

Plumbing: untagged parallel composition

Types

>*< :: F c ho -> F c ho -> F c ho

Synopsis

>*< fl fr

Description

Fudgets composed with >*< operate in parallel, indepdenetly of one another. The high level output streams from the individual fudgets are merged into a single stream. The input stream, is duplicated and fed to the both fudgets.

Input

Messages are sent both to the left and right fudget.

Output

Messages from both fudgets.

Arguments

fl :: F c ho: left fudget.
fr :: F c ho: right fudget.

Equalities

The following equality holds (except that the tagging of low level messages will be different). The left hand side is likely to be more efficient.

  fud1 >*< fud2 = mapF stripEither >==< (fud1 >+< fud2) >==< toBothF